訳 谷口健一
1982年度ACMチューリング賞受賞記念講演 計算量理論概説
1983年12月号